w{-}E($w$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$p$::Id $\times$ $\mathbb{N}\mid$ $\neg$($\uparrow$w{-}isnull($w$; w{-}a($w$; ($p$.1); ($p$.2))))\}